$\forall$$x$, $y$:$\mathbb{N}$$_{\mbox{\scriptsize $<$3}}$. rps($x$;$y$) $\Rightarrow$ $\neg$rps($y$;$x$)